A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

Source URL: plg.uwaterloo.ca

• Theoretical computer science
• Mathematical logic
• Logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Type theory
• Lambda calculus
• Substitution
• Symbol
• Directed acyclic graph
• Unification

Under consideration for publication in Theory and Practice of Logic Programming 1 Inference and Learning in Probabilistic Logic Programs using Weighted Boolean Formulas

Source URL: lirias.kuleuven.be

Reconstruction of Maximum Likelihood Phylogenetic Trees in Parallel Environment Using Logic Programming Satoshi OOta Naruya Saitou

Source URL: www.jsbi.org

FliPpr: A Prettier Invertible Printing System Kazutaka Matsuda1 and Meng Wang2 1 2

Source URL: www2.sf.ecei.tohoku.ac.jp

• Software engineering
• Computer programming
• Parsing algorithms
• Software
• Functional programming
• Parsing
• Logic in computer science
• Compiler construction
• Top-down parsing
• Monad
• Compiler-compiler
• Combinatory logic

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

The Journal of Logic Programming±41 www.elsevier.com/locate/jlpr An abstract machine for eciently computing queries to well-founded modelsq

Source URL: user.it.uu.se

Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Source URL: places14.di.fc.ul.pt

• Proof theory
• Logic in computer science

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Inductive Logic Programming Using a MaxSAT Solver Noriaki Chikara1 , Miyuki Koshimura2 , Hiroshi Fujita2 , and Ryuzo Hasegawa2 1 2

Source URL: www.ilp2015.jp